Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications
نویسندگان
چکیده
منابع مشابه
Exercises in Nonstandard Static Analysis of Hybrid Systems
In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstandard analysis (NSA) as a vehicle from discrete to hybrid; and to verify hybrid systems using a Hoare logic. In this paper we aim to exemplify the potential of our approach, through transferring static analysis techniques to hybrid...
متن کاملTowards Scalability in Nonstandard Static Analysis (
Interpretation with Infinitesimals∗ Towards Scalability in Nonstandard Static Analysis (Extended Abstract) Kengo Kido, Swarat Chaudhuri, and Ichiro Hasuo 1 University of Tokyo, Japan 2 JSPS Research Fellow 3 Rice University, USA Abstract Towards the goal of correctness and reliability of hybrid systems, we continue our nonstandard static analysis program (with Suenaga and Sekine) where hybrid d...
متن کاملA New Approach to Nonstandard Analysis
In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers. To illustrate the importance of this work, we suggest comparing a few applications of this approach with the former methods.
متن کاملAbstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
Interpretation with Infinitesimals Towards Scalability in Nonstandard Static Analysis Kengo Kido, Swarat Chaudhuri, and Ichiro Hasuo 1 University of Tokyo, Japan 2 Rice University, USA Abstract. Towards the goal of correctness and reliability of hybrid systems, we continue the nonstandard static analysis program where hybrid dynamics is turned into purely discrete one with explicit use of infin...
متن کاملHybrid Phantom Applications to Nuclear Medicine
Annually, many people are irradiated for diagnostic and therapeutic purposes. Assessment of radiation dose and its related risks to patients are important issues in radiation protection dosimetry. The complex mathematical calculations of the absorbed and effective doses are now done with computers. The calculations are performed with the help of anthropomorphic computational models of human bod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.104.5